projects / gringo.git / shortlog
| 2022-11-19 | Thomas Krennwallner | Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages | commit | commitdiff | tree | snapshot |
| 2022-11-19 | Adrian Bunk | gringo (5.4.1-3.1) unstable; urgency=low | commit | commitdiff | tree | snapshot |
| 2022-11-19 | Adrian Bunk | Import gringo_5.4.1-3.1.debian.tar.xz | commit | commitdiff | tree | snapshot |
| 2020-12-27 | Thomas Krennwallner | Import gringo_5.4.1.orig.tar.gz | commit | commitdiff | tree | snapshot |